Action Emulation between Canonical Models
نویسندگان
چکیده
منابع مشابه
Action Emulation between Canonical Models
In this paper we investigate Kripke models, used to model knowledge or belief in a static situation, and action models, used to model communicative actions that change this knowledge or belief. The appropriate notion for structural equivalence between modal structures such as Kripke models is bisimulation: Kripke models that are bisimilar are modally equivalent. We would like to find a structur...
متن کاملAction emulation
A key notion of equivalence for modal and epistemic logic is bisimulation. However, to capture the update effects of action models in epistemic update logic, this notion turns out to be too strong. We propose necessary and sufficient conditions for having the same update effect, in the cases of action models with propositional preconditions and action models with modal precondions. Next, the no...
متن کاملPrinciples of canonical action research
Despite the growing prominence of canonical action research (CAR) in the information systems discipline, a paucity of methodological guidance continues to hamper those conducting and evaluating such studies. This article elicits a set of five principles and associated criteria to help assure both the rigor and the relevance of CAR in information systems. The first principle relates to the devel...
متن کاملCanonical Models for Mathematical
A major drawback to most mathematical models in neuroscience is that they are either far away from reality or the results depend on the speciic model. A promising alternative approach takes advantage of the fact that many complicated systems behave similarly when they operate near critical regimes, such as bifur-cations. Using non-linear dynamical system theory it is possible to prove that all ...
متن کاملCanonical Models of Arithmetic
In 1983 Takeuchi showed that up to conjugation there are exactly 4 arithmetic subgroups of PSL2(R) with signature (1;∞). Shinichi Mochizuki gave a purely geometric characterization of the corresponding arithmetic (1;∞)-curves, which also arise naturally in the context of his recent work on inter-universal Teichmüller theory. Using Bely̆ı maps, we explicitly determine the canonical models of thes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2013
ISSN: 0022-3611,1573-0433
DOI: 10.1007/s10992-013-9298-y